/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __LINUX_KCONFIG_H
#define __LINUX_KCONFIG_H

#define IS_ENABLED(option) option

#endif /* __LINUX_KCONFIG_H */
